Theorem proving
[计] 定理证明
🧩 词语组成解析
[计] 验证, 证明\\n[医] 药力试验(顺势疗法的名词)
🗣️ 情景例句
I'm sorry. I dialed the wrong number.
对不起，我打错电话了。
If the counsel be good no matter who gave it.
只要忠告中肯，谁提都行。
It suddenly dawned on me that this express was not roaring down the line at ninety miles an hour, but barely chugging along at thirty.
我突然感到这趟快车并没以时速90英里的速度呼啸前进，而是卟哧卟哧地向前爬行，时速仅30英里。